Declarative programming - PDFSEARCH.IO - Document Search Engine

Declarative programming
Results: 415

#	Item
151	Climate Data Record (CDR) Program Transitioning CDRs from Research to Operations CDR Program Document Number: Originator Document Number: VersionJuly 26, 2011 Add to Reading List Source URL: www1.ncdc.noaa.gov Language: English - Date: 2011-08-24 13:57:44 Functional programming Lisp programming language Climate Data Records Cons Append Declarative programming Computing Software engineering
152	Hindley-Milner Elaboration in Applicative Style Functional pearl François Pottier INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2014-06-12 04:54:36 Computing Constraint satisfaction problem Type class Lambda calculus Normalisation by evaluation Constraint inference Declarative programming Constraint programming Software engineering
153	Optimising Quantified Expressions in Constraint Models Ian Gent, Ian Miguel, and Andrea Rendl University of St Andrews School of Computer Science, North Haugh, St Andrews, Scotland, UK ipg,ianm, Add to Reading List Source URL: andrearendl.com Language: English - Date: 2013-08-29 08:24:32 Sudoku algorithms Constraint programming Declarative programming Exact cover
154	The mLite Language Nils M Holm, 2014 mLite is a general-pur pose, functional, lightweight, dynamic programming language. It borrows ideas from both the Scheme [R4RS] and Standard ML [DEFSML] languages, taking most of its Add to Reading List Source URL: www.t3x.org Language: English - Date: 2014-11-16 10:27:37 Functional programming Lambda calculus Higher-order functions Functional languages Data types Standard ML Anonymous function Pattern matching Monad Software engineering Declarative programming Computer programming
155	A language for Modular Information-passing Agents Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek and John-Jules Ch. Meyer Universiteit Utrecht, Department of Computer Science P.O. Box, 3508 TB Utrecht, T Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:36:40 Constraint programming Declarative programming Symbol
156	A DECLARATIVE FRAMEWORK FOR MODELING MULTI-AGENT SYSTEMS by GREGORY GELFOND A MASTER THESIS IN Add to Reading List Source URL: myweb.ttu.edu Language: English - Date: 2015-05-24 18:08:43 Software engineering Automated planning and scheduling Prolog Agent-based model Action language Logic programming Multi-agent systems Artificial intelligence Computing
157	A Declarative View of Inheritance in Logic Programming M. Bugliesi Dipartimento di Matematica Pura ed Applicata Via Belzoni 7, Padova – ITALY Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:12:30 Deduction Philosophy of language Model theory Natural deduction Modal logic Sheaf Interpretation Entailment Formal semantics Logic Philosophical logic Semantics
158	10 TECHNOLOGY IRELANDForeseeing problems, finding choices multinational involved Add to Reading List Source URL: www.cse.cuhk.edu.hk Language: English - Date: 2007-06-23 04:49:34 Declarative programming Alcatel-Lucent Sudoku E-procurement Computing Business Constraint programming Mathematics Recreational mathematics
159	Journal of Object Technology Published by AITO — Association Internationale pour les Technologies Objets http://www.jot.fm/ Babelsberg: Specifying and Solving Constraints on Object Behavior Add to Reading List Source URL: www.jot.fm Language: English - Date: 2014-08-21 12:43:43 Computer programming Constraint logic programming Kaleidoscope Constraint satisfaction problem Cassowary Constraint Prolog Satisfiability Modulo Theories Constraint satisfaction Constraint programming Declarative programming Software engineering
160	Aleksandar Milicevic Contact Information 32 Vassar St, Office G706 Computer Science and Artificial Intelligence Laboratory Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-10-06 20:27:30 Computing Daniel Jackson Alloy Constraint programming Declarative programming Imperative programming Programming language Domain-specific language Software engineering Programming paradigms Computer programming

UPDATE